1. Combinatorial algorithms :
پدیدآورنده : Costas S. Iliopoulos, William F. Smyth (editions.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Combinatorial analysis-- Data processing, Congresses,Computational complexity, Congresses,Computer algorithms, Congresses
رده :
QA164
.
I58
2011
2. Computer Mathematics
پدیدآورنده :
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
3. Discrete mathematics
پدیدآورنده : by Seymour Lipschutz, Ph.D. and Marc Lars Lipson, Ph.D.
کتابخانه: Library of Urmia University of Technology (West Azarbaijan)
موضوع : Algebra, Abstract- Outlines, syllabi, etc,Combinatorial analysis- Outlines, syllabi, etc,Logic, Symbolic and mathematical- Outlines, syllabi, etc
رده :
QA
,
162
,.
D57
,
2007
4. Fuzzy Sets in Information Retrieval and Cluster Analysis
پدیدآورنده : by Sadaaki Miyamoto.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical.,Mathematics.,Systems theory.
رده :
QA248
.
B973
1990
5. Fuzzy Systems
پدیدآورنده : edited by Hung T. Nguyen, Michio Sugeno.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer engineering.,Logic, Symbolic and mathematical.,Mathematics.,Mechanical engineering.,Operations research.
6. Granular Computing
پدیدآورنده : by Andrzej Bargiela, Witold Pedrycz.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer science.,Data structures (Computer science).,Logic, Symbolic and mathematical.
7. Mathematical Foundations of Computer Science 1975 :
پدیدآورنده : by J. Becvar.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Automates séquentiels, Théorie des -- Congrès.,Computer science.,Logic design.
رده :
QA267
.
5
.
S4
B953
1975
8. Mathematical logic :
پدیدآورنده : Roman Kossak
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical.,Mathematics-- Philosophy.,Algorithms & data structures.,Applied mathematics.,Computers-- Logic Design.,Logic, Symbolic and mathematical.,Mathematical foundations.,Mathematics-- Applied.,Mathematics-- History & Philosophy.,Mathematics-- Logic.,Mathematics-- Philosophy.,Philosophy-- Logic.,Philosophy of mathematics.,Philosophy: logic.
رده :
QA9
.
K67
2018
9. Mathematical logic, the theory of algorithms, and the theory of sets
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Algorithms,، Set theory
رده :
QA
1
.
A413
no
.
133
10. Mathematical logic, the theory of algorithms and the theory of sets : dedicated to Academician Petr sergeevic Novikov on his seventieth birthday
پدیدآورنده : edited by S. I. Adjan
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Addresses, essays, lectures ، Logic, Symbolic and mathematical,Addresses, essays, lectures ، Algorithms,Addresses, essays, lectures ، Set theory
رده :
QA
1
.
P736
Vol
.
133
11. Mathematics of Ramsey Theory
پدیدآورنده : edited by Jaroslav Nešetřil, Vojtěch Rödl.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Combinatorial analysis.,Logic, Symbolic and mathematical.,Mathematics.
12. Proceedings of the International Conference on Artificial Neural Networks :
پدیدآورنده : ICANN '93. Ed. by Stan Gielen ...
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
13. Schaum's outline of theory and problems of discrete mathematics
پدیدآورنده : abridgement editor, George J. Hademenos.
کتابخانه: Central Library and Documentation Center of Shahid Motahari of Vali-e-Asr University (Kerman)
موضوع : Algebra, Abstract,Combinatorial analysis,Logic, Symbolic and mathematical
رده :
QA
162
.
D57
2003
14. Soft Computing for Knowledge Discovery
پدیدآورنده : by James G. Shanahan.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer science.,Data structures (Computer science).,Logic, Symbolic and mathematical.
15. Traffic Control and Transport Planning:
پدیدآورنده : by Dušan Teodorović, Katarina Vukadinović.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Civil engineering.,Logic, Symbolic and mathematical.,Mathematics.,Regional economics.
16. Trends in mathematics and computational intelligence /
پدیدآورنده : Maria Eugenia Cornejo, Laszlo T. Koczy, Jesus Medina, Antonio Eduardo De Barros Ruano, editors.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computational intelligence.,Computational intelligence.
رده :
Q342
.
T74
2019eb
